Implementation of Structured Object-Oriented Formal Language for Warehouse Management System
نویسندگان
چکیده
منابع مشابه
Formal Object Oriented Speciication Language Troll in Information System Design
In this paper we present a national project located in the area of computer aided testing and certifying (CATC) of physical devices. The aim of this project is to develop an Information System that supports the various activities of diierent user groups in a German federal institute of weights and measures. We decided to use the formal object oriented speciication language Troll throughout the ...
متن کاملObject-Oriented Pattern-Based Language Implementation
Semantics in Java Concrete Semantics in Java
متن کاملStructuring Mechanisms for an Object-oriented Formal Speciication Language
In this work we propose an extension of the MooZ formal speciication language with support for parameterized packages. This enhances MooZ's capabilities for software reuse and maintenance in the large. We discuss several design issues for MooZ's structuring mechanisms: the distinction between inheritance and subtyping, values and objects, vertical and horizontal composition, packages and classe...
متن کاملA Novel Formal Semantics for a Parallel Object-Oriented Language
The Parallel Object-Oriented language POOL integrates object-oriented characteristics with synchronous communication among objects. A novel formal description of POOL is given here. The description is written using Mosses' action notation style of formal speciication. It is then, compared with other formal speciications of the language. Understandability, extensibility and modularity are the ma...
متن کاملObject-Oriented Data Model for Data Warehouse
Data Warehouse is frequently organized as collection of multidimensional data cubes, which represent data in the form of data values, called measures, associated with multiple dimensions and their multiple levels. However, some application areas need more expressive model for description its data. This paper presents the extension of classical multidimensional model to make Data Warehouse more ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CommIT (Communication and Information Technology) Journal
سال: 2020
ISSN: 2460-7010,1979-2484
DOI: 10.21512/commit.v14i1.5942